DICLIB.COM
KI-basierte Sprachtools

Alle Tools Abonnement Kontaktieren Sie uns

Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆

Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

wie das Wort verwendet wird
Häufigkeit der Nutzung
es wird häufiger in mündlicher oder schriftlicher Rede verwendet
Wortübersetzungsoptionen
Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
Etymologie

Was (wer) ist ATS (язык программирования) - definition

ATS (язык программирования)

ATS (от ) — язык программирования, нацеленный на поддержку формальной верификации в сочетании с практическим программированием с использованием системы зависимых типов. Разработчик — Хонвэй Си; основные конструкции заимствованы из ML и OCaml, предшествующий язык Dependent ML того же автора по сути включён в новый.

https://ru.wikipedia.org/wiki/ATS_(язык_программирования)

Сверхвысокоуровневый язык программирования

Сверхвысокоуровневый язык программирования (язык программирования сверхвысокого уровня, , VHLL) — язык программирования с очень высоким уровнем абстракции. В отличие от языков программирования высокого уровня, где описывается принцип «как нужно сделать», в сверхвысокоуровневых языках программирования описывается лишь принцип «что нужно сделать».

https://ru.wikipedia.org/wiki/Сверхвысокоуровневый_язык_программирования

Учебный язык программирования

ЯЗЫК ПРОГРАММИРОВАНИЯ, ПРЕДНАЗНАЧЕННЫЙ ДЛЯ ОБУЧЕНИЯ

Язык учебного программирования; Список учебных языков программирования; Учебные языки программирования

Уче́бный язы́к программи́рования — язык программирования, предназначенный для обучения. В качестве таковых разрабатывались такие языки как BASICАндрей Колесов. Basic — этапы большого пути (авторский вариант статьи). Опубликована с незначительной литературной правкой в журнале «Наука и жизнь», 2000, № 10. С. 18—20. и ПаскальWirth N. Recollections about the development of Pascal (HOPL II), 3.3 . Из разработанного для обучения языка ABC вырос PythonBill Venners. The Making of Python . A Conversation with Guido van Rossum. Part I. 2003, January 13.. Популярным языком, разработанным специально для образования является LOGOЯзык Лого на сайте «Ис

https://ru.wikipedia.org/wiki/Учебный_язык_программирования

Wikipedia

ATS (язык программирования)

ATS (от англ. Applied Type System) — язык программирования, нацеленный на поддержку формальной верификации в сочетании с практическим программированием с использованием системы зависимых типов. Разработчик — Хонвэй Си; основные конструкции заимствованы из ML и OCaml, предшествующий язык Dependent ML того же автора по сути включён в новый.

Производительность программ на ATS сравнима с аналогичными показателями программ на Си и C++. По мнению автора языка эффективность для функциональных языков в основном зависит от способа представления данных в языке и оптимизации хвостовых вызовов, поэтому данные в ATS хранятся в простом (плоском) виде или преимущественно без вложенных представлений.

https://ru.wikipedia.org/wiki/ATS (язык программирования)

Was ist ATS (язык программирования) - Definition